Program adverbs and Tlön embeddings

نویسندگان

چکیده

Free monads (and their variants) have become a popular general-purpose tool for representing the semantics of effectful programs in proof assistants. These data structures support compositional definition parameterized by uninterpreted events, while admitting rich equational theory equivalence. But are not only way to structure computation, why should we limit ourselves? In this paper, inspired applicative functors, selective and other structures, define collection theories, which call program adverbs, that capture variety computational patterns. Program adverbs themselves composable, allowing them be used specify languages with multiple computation We use as basis new class semantic embeddings called Tlön embeddings. Compared based on free monads, allow more flexibility modeling effects, retaining information about program's syntactic structure.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Adverbs and Light Verbs

Chinese allows manner and degree adverbs to occur further to the left than is possible in English and other languages; compare Amanda will (*loudly) be (loudly) greeting her guests (loudly) with Lisi (qingqingde) ba zhuozi (qingqingde) qiao-le yixia “Lisi lightly knocked once on the table,” with the manner adverbial to the left of BA. It is proposed here that this results from the two languages...

متن کامل

Adverbs And Semantic Inferences

1. L. K a r t t u n e n ( K a r t t u n e n 1970, 1971) demons t r a t ed t h a t i n E n g l i s h t h e r e e x i s t s i x c l a s s e s o f p r e d i c a t e s t h a t d i f f e r as f o r t h e r e l a t i o n s h i p s h o l d i n g be tween the p r e d i c a t e and i t s s e n t e n t i a l complement: f a c t i v e s , p o s i t i v e and n e g a t i v e two-way i m p l i o a t i v e s...

متن کامل

Semantic Embeddings for Program Behavior Patterns

In this paper, we propose a new feature extraction technique for program execution logs. First, we automatically extract complex patterns from a program’s behavior graph. Then, we embed these patterns into a continuous space by training an autoencoder. We evaluate the proposed features on a real-world malicious software detection task. We also find that the embedding space captures interpretabl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the ACM on programming languages

سال: 2022

ISSN: ['2475-1421']

DOI: https://doi.org/10.1145/3547632